Journal: Sensors (Basel, Switzerland)

Article Title: Lower Limb Locomotion Activity Recognition of Healthy Individuals Using Semi-Markov Model and Single Wearable Inertial Sensor

doi: 10.3390/s19194242

Figure Lengend Snippet: Dependency graphs. TMC = triplet Markov chain; GMM = Gaussian mixture model.

Article Snippet: The work proposed here is, to some extent, the continuation of our previous work [ ], where a non-parametric triplet Markov chain (TMC-HIST) was designed to detect four lower limb locomotion activities: walking, running, stair ascent and stair descent.

Techniques:

Journal: Frontiers in Plant Science

Article Title: An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

doi: 10.3389/fpls.2012.00155

Figure Lengend Snippet: Summary of modeling tools using model checking .

Article Snippet: Continuous-time Markov chains (CTMC) can be model-checked with continuous stochastic logic (CSL) (Baier et al., ).

Techniques: Variant Assay